A Petri-net based modeling tool, for analysis and evaluation of computer systems
author
Abstract:
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports different Petri net extensions but also provides some features not supported before. Automatic model construction, steady state analysis of different extensions including constant timed Petri net, run time reconstruction, learning and feature, and automatic solution search are some specific features of the proposed tool. In addition to introducing the model, its capabilities are shown through some examples.
similar resources
Petri Net Modeling for Parallel Bank ATM Systems
In this paper the real time operation of an automatic teller machine (ATM) is analyzed using aTimed Petri Net (TPN) model. In the modeling, the probability of arrivals, the speed andattentiveness of customers (clients) are taken to account. Different parameters are based onthe statistical data. The model is simulated for 24 hours. The diagrams of number ofsucceeded customers, failed references ...
full textA Petri-net Model for Operational Cycle in SCADA Systems
Supervisory control and data acquisition (SCADA) system monitors and controls industrial processes in critical infrastructures (CIs) and plays the vital role in maintaining the reliability of CIs such as power, oil, and gas system. In fact, SCADA system refers to the set of control process, which measures and monitors sensors in remote substations from a control center. These sensors usually ha...
full textpetri net modeling for parallel bank atm systems
in this paper the real time operation of an automatic teller machine (atm) is analyzed using atimed petri net (tpn) model. in the modeling, the probability of arrivals, the speed andattentiveness of customers (clients) are taken to account. different parameters are based onthe statistical data. the model is simulated for 24 hours. the diagrams of number ofsucceeded customers, failed references ...
full textModular Petri Net based modeling, analysis, synthesis and performance evaluation of random topology dedicated production systems
Ordinary t-timed modular Petri Nets are used for modeling, analysis, synthesis and performance evaluation of random topology dedicated production systems. Each system is first decomposed into production line, assembly, disassembly and parallel machine modules followed by derivation of their modular Petri Net models. Two sets of modules, generic and generalized respectively, are derived correspo...
full textSimplification of a Petri Net controller in industrial systems
This paper deals with the problem of forbidden states in discrete event systems modeled by Petri Net. To avoid the forbidden states, some constraints which are called Generalized Mutual Exclusion Constraints can be assigned to them. Enforcing these constraints on the system can be performed using control places. However, when the number of these constraints is large, a large number of control p...
full textFuzzy Continuous Petri Net-Based Approach for Modeling Immune Systems
The immune system has unique defense mechanisms such as innate, humoral and cellular immunity. These mechanisms are closely related to prevent pathogens from spreading in the host and to clear them effectively. To get a comprehensive understanding of the immune system, it is necessary to integrate the knowledge through modeling. Many immune models have been developed based on differential equat...
full textMy Resources
Journal title
volume 7 issue 1
pages 2- 23
publication date 2018-05
By following a journal you will be notified via email when a new issue of this journal is published.
No Keywords
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023